statement n. 1.陳述,聲明,聲明書。 2.【法律】供述;交待。 3.【商業(yè)】貸借對(duì)照表;(財(cái)務(wù))報(bào)告書。 Statements should be based on facts. 說(shuō)話要有根據(jù)。 prepare an official statement 準(zhǔn)備一項(xiàng)正式說(shuō)明。 make a detailed statement of profit and loss 出具詳細(xì)的損益計(jì)算書。 issue a statement 發(fā)表一個(gè)聲明。 a random statement 胡亂的供詞。 a bank statement 銀行報(bào)告單[結(jié)單]。
It is clear that achieving 100 % statement coverage does not ensure a correct program 代碼覆蓋有多種,語(yǔ)句覆蓋是最基本的,條件判斷覆蓋會(huì)強(qiáng)一些。
An efficient evaluation and vector generation method for observability - enhanced statement coverage 基于可觀測(cè)性語(yǔ)句覆蓋準(zhǔn)則的評(píng)估分析與激勵(lì)生成方法
There are types of coverage that point more directly to design mistakes than statement coverage does ( branch coverage , for example ) 還有幾類覆蓋率,比語(yǔ)句覆蓋率更直接地指向設(shè)計(jì)錯(cuò)誤(例如分支覆蓋率) 。
Codetest also provides statement coverage measurements and produces documentation to validate that every statement in the program has been invoked at least once 還提供語(yǔ)句覆蓋測(cè)量,并生成驗(yàn)證程序中每條語(yǔ)句至少被調(diào)用一次的文件。
You can measure code coverage in several ways : by assessing line or statement coverage , condition coverage , branch coverage , and so on 您可以通過(guò)許多方法來(lái)測(cè)量代碼覆蓋率:通過(guò)評(píng)估代碼行或語(yǔ)句的覆蓋面、條件覆蓋面、分支覆蓋面等等。
The mcdc , decision and statement coverage tools accurately collect live , in - circuit program measurements , analyze test history at a number of levels of granularity and generate specific reports to document both the process and the results 、決策及語(yǔ)句覆蓋工具準(zhǔn)確收集運(yùn)行中的在線程序測(cè)量,以多種間隔等級(jí)分析測(cè)試歷史,并生成記錄過(guò)程和結(jié)果的特定報(bào)告。
Many problems in software testing , such as statement coverage and patl1 coverage , can be reduced to tlle path - wise test data generating problem , which will be referred to as problem q in this thesis and can be described ast given a program p and a path w in p , let the input space of p be d , compute x e d , such that when p executes on x , path w wiil be traversed 軟件測(cè)試中的諸如語(yǔ)句覆蓋、路徑覆蓋等問(wèn)題可以歸結(jié)為面向路徑的測(cè)試數(shù)據(jù)的生成問(wèn)題。該問(wèn)題在本文中簡(jiǎn)稱為問(wèn)題2 ,可以描述為:給定一個(gè)程序p和p中一條路徑w ,設(shè)p的輸入空間為d ,求( ? ) d ,使得p以(
Basic black - box testing and white - box testing are successfully carried out . in white - box testing , the statement coverage and branch coverage are achieved ; static analysis and dynamic analysis are also implemented . the static analysis mainly used to generate flow graph while the dynamic analysis serves program instrument , technique realization object , subprogram and the detailed coverage and the calculation of operation time of the documents 原型系統(tǒng)實(shí)現(xiàn)了基本的黑盒和白盒測(cè)試,其中白盒測(cè)試實(shí)現(xiàn)了語(yǔ)句和分支覆蓋;實(shí)現(xiàn)了匯編測(cè)試的靜態(tài)分析和動(dòng)態(tài)分析,靜態(tài)分析主要是生成程序的流程圖,動(dòng)態(tài)分析主要是利用程序插樁技術(shù)實(shí)現(xiàn)語(yǔ)句和分支覆蓋率及在多個(gè)測(cè)試用例驅(qū)動(dòng)下的綜合覆蓋率的計(jì)算和運(yùn)行時(shí)間及內(nèi)存使用情況的統(tǒng)計(jì)。
This method is more computationally efficient than prior efforts to assess observability and it could be integrated into compilers and simulators easily . a new simulation vector generation procedure involving the observability - enhanced statement coverage metric is developed . the method is simulation - based and driven by the distribution of unobserved statements 可觀測(cè)性語(yǔ)句覆蓋率并不像傳統(tǒng)的語(yǔ)句覆蓋率那樣過(guò)于樂(lè)觀,它不僅評(píng)估代碼是否被執(zhí)行,而且檢驗(yàn)被激勵(lì)激活的那些潛在錯(cuò)誤的影響是否可以傳播到觀測(cè)點(diǎn),該準(zhǔn)則可以更確切地評(píng)估驗(yàn)證的力度。